// $ANTLR 2.7.5 (20050128): "shoiq.g" -> "FormulaLexer.java"$

  package com.googlecode.kipler.parsing;
  import com.googlecode.kipler.*;
import com.googlecode.kipler.container.dl.*;
  import com.googlecode.kipler.satisfiability.*;
  import com.googlecode.kipler.syntax.*;
  import com.googlecode.kipler.syntax.formula.*;
  import com.googlecode.kipler.syntax.concept.*;
import java.util.*;

public interface FormulaTreeParserTokenTypes {
	int EOF = 1;
	int NULL_TREE_LOOKAHEAD = 3;
	int SEMICOLON = 4;
	int NAMESPACE = 5;
	int LPAREN = 6;
	int PREFIX = 7;
	int COLON = 8;
	int NCName = 9;
	int RPAREN = 10;
	int UNTIL = 11;
	int BEFORE = 12;
	int NEXT = 13;
	int SOMETIME = 14;
	int GENERALLY = 15;
	int NOT = 16;
	int IMPLIES_ROLE = 17;
	int COMMA = 18;
	int EQUALS = 19;
	int IMPLIES = 20;
	int TRANSITIVE = 21;
	int DOUBLE_EQUAL = 22;
	int AND = 23;
	int OR = 24;
	int BAR = 25;
	int AMP = 26;
	int TILDE = 27;
	int SOME = 28;
	int ALL = 29;
	int GREATER_THAN_OR_EQ = 30;
	int LESS_THAN_OR_EQ = 31;
	int LBRACE = 32;
	int RBRACE = 33;
	int DASH = 34;
	int VARIABLE = 35;
	int QNAME = 36;
	int UNSIGNED_INT = 37;
	int WORLD = 38;
	int CONCEPT_ASSERTION = 39;
	int OBJECT_ROLE_ASSERTION = 40;
	int CARET = 41;
	int STRING_LITERAL = 42;
	int UNDERSCORE = 43;
	int CHAR_ESC = 44;
	int PREFIX_LOCALNAME_OR_QNAME = 45;
	int LOCAL_NAME = 46;
	int NCBegin = 47;
	int NCRest = 48;
	int GREATER_THAN = 49;
	int LESS_THAN = 50;
	int HASH = 51;
	int SLASH = 52;
	int QUESTION = 53;
	int LOWER_CASE_LETTER = 54;
	int UPPER_CASE_LETTER = 55;
	int LETTER = 56;
	int DIGIT = 57;
	int ALPHANUMERIC = 58;
	int POINT = 59;
	int LBRACKET = 60;
	int RBRACKET = 61;
	int WS = 62;
}
